home *** CD-ROM | disk | FTP | other *** search
/ Languguage OS 2 / Languguage OS II Version 10-94 (Knowledge Media)(1994).ISO / gnu / recode.lha / recode-3.2.4 / ltexlat1.l < prev    next >
Text File  |  1992-08-26  |  5KB  |  141 lines
  1. %{
  2. /* Conversion of files between different charsets and usages.
  3.    Copyright (C) 1990 Free Software Foundation, Inc.
  4.    Francois Pinard <pinard@iro.umontreal.ca>, 1988.
  5.  
  6.    This program is free software; you can redistribute it and/or modify
  7.    it under the terms of the GNU General Public License as published by
  8.    the Free Software Foundation; either version 2, or (at your option)
  9.    any later version.
  10.  
  11.    This program is distributed in the hope that it will be useful, but
  12.    WITHOUT ANY WARRANTY; without even the implied warranty of
  13.    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14.    General Public License for more details.
  15.  
  16.    You should have received a copy of the GNU General Public License
  17.    along with this program; if not, write to the Free Software
  18.    Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  19. */
  20.  
  21. #define STEP    latex_latin1
  22.  
  23. extern int diacritics_only;
  24.  
  25. %}
  26.  
  27. After            [ \t]*(\{\})?
  28.  
  29. %%
  30. \\#            { if (diacritics_only) ECHO; else output ('#'); }
  31. \\\$            { if (diacritics_only) ECHO; else output ('$'); }
  32. \\%            { if (diacritics_only) ECHO; else output ('%'); }
  33. \\&            { if (diacritics_only) ECHO; else output ('&'); }
  34. \\_            { if (diacritics_only) ECHO; else output ('_'); }
  35. \\\{            { if (diacritics_only) ECHO; else output ('{'); }
  36. \\\}            { if (diacritics_only) ECHO; else output ('}'); }
  37.  
  38. \\backslash{After}    { if (diacritics_only) ECHO; else output ('\\'); }
  39. "\\ "            { if (diacritics_only) ECHO; else output ('\240'); }
  40. "!'"            { if (diacritics_only) ECHO; else output ('\241'); }
  41.  
  42.  
  43.  
  44.  
  45.  
  46. "\\S{}"            { if (diacritics_only) ECHO; else output ('\247'); }
  47. "\\\"{}"        { if (diacritics_only) ECHO; else output ('\250'); }
  48.  
  49.  
  50. "``"            { if (diacritics_only) ECHO; else output ('\253'); }
  51. "\\neg{}"        { if (diacritics_only) ECHO; else output ('\254'); }
  52. "\\-"            { if (diacritics_only) ECHO; else output ('\255'); }
  53.  
  54.  
  55. "\\mbox{$^\\circ$}"    { if (diacritics_only) ECHO; else output ('\260'); }
  56. "\\mbox{$\\pm$}"    { if (diacritics_only) ECHO; else output ('\261'); }
  57. "\\mbox{$^2$}"        { if (diacritics_only) ECHO; else output ('\262'); }
  58. "\\mbox{$^3$}"        { if (diacritics_only) ECHO; else output ('\263'); }
  59. "\\'{}"            { if (diacritics_only) ECHO; else output ('\264'); }
  60. "\\mbox{$\\mu$}"    { if (diacritics_only) ECHO; else output ('\265'); }
  61.  
  62. "\\cdotp"        { if (diacritics_only) ECHO; else output ('\267'); }
  63. "\\,{}"            { if (diacritics_only) ECHO; else output ('\270'); }
  64. "\\mbox{$^1$}"        { if (diacritics_only) ECHO; else output ('\271'); }
  65.  
  66. "''"            { if (diacritics_only) ECHO; else output ('\273'); }
  67. "\\frac1/4{}"        { if (diacritics_only) ECHO; else output ('\274'); }
  68. "\\frac1/2{}"        { if (diacritics_only) ECHO; else output ('\275'); }
  69. "\\frac3/4{}"        { if (diacritics_only) ECHO; else output ('\276'); }
  70. "?'"            { if (diacritics_only) ECHO; else output ('\277'); }
  71. "\\`A"            { output ('\300'); }
  72. "\\'A"            { output ('\301'); }
  73. "\\^A"            { output ('\302'); }
  74. "\\~A"            { output ('\303'); }
  75. "\\\"A"            { output ('\304'); }
  76. "\\AA{}"        { output ('\305'); }
  77. "\\AE{}"        { output ('\306'); }
  78. "\\c C"            { output ('\307'); }
  79. "\\c{C}"        { output ('\307'); }
  80. "\\`E"            { output ('\310'); }
  81. "\\'E"            { output ('\311'); }
  82. "\\^E"            { output ('\312'); }
  83. "\\\"E"            { output ('\313'); }
  84. "\\`I"            { output ('\314'); }
  85. "\\'I"            { output ('\315'); }
  86. "\\^I"            { output ('\316'); }
  87. "\\\"I"            { output ('\317'); }
  88.  
  89. "\\~N"            { output ('\321'); }
  90. "\\`O"            { output ('\322'); }
  91. "\\'O"            { output ('\323'); }
  92. "\\^O"            { output ('\324'); }
  93. "\\~O"            { output ('\325'); }
  94. "\\\"O"            { output ('\326'); }
  95.  
  96. "\\O{}"            { output ('\330'); }
  97. "\\`U"            { output ('\331'); }
  98. "\\'U"            { output ('\332'); }
  99. "\\^U"            { output ('\333'); }
  100. "\\\"U"            { output ('\334'); }
  101. "\\'Y"            { output ('\335'); }
  102.  
  103. "\\ss{}"        { output ('\337'); }
  104. "\\`a"            { output ('\340'); }
  105. "\\'a"            { output ('\341'); }
  106. "\\^a"            { output ('\342'); }
  107. "\\~a"            { output ('\343'); }
  108. "\\\"a"            { output ('\344'); }
  109. "\\aa{}"        { output ('\345'); }
  110. "\\ae{}"        { output ('\346'); }
  111. "\\c c"            { output ('\347'); }
  112. "\\c{c}"        { output ('\347'); }
  113. "\\`e"            { output ('\350'); }
  114. "\\'e"            { output ('\351'); }
  115. "\\^e"            { output ('\352'); }
  116. "\\\"e"            { output ('\353'); }
  117. "\\`\\i{}"        { output ('\354'); }
  118. "\\`{\\i}"        { output ('\354'); }
  119. "\\'\\i{}"        { output ('\355'); }
  120. "\\'{\\i}"        { output ('\355'); }
  121. "\\^\\i{}"        { output ('\356'); }
  122. "\\^{\\i}"        { output ('\356'); }
  123. "\\\"\\i{}"        { output ('\357'); }
  124. "\\\"{\\i}"        { output ('\357'); }
  125.  
  126. "\\~n"            { output ('\361'); }
  127. "\\`o"            { output ('\362'); }
  128. "\\'o"            { output ('\363'); }
  129. "\\^o"            { output ('\364'); }
  130. "\\~o"            { output ('\365'); }
  131. "\\\"o"            { output ('\366'); }
  132.  
  133. "\\o{}"            { output ('\370'); }
  134. "\\`u"            { output ('\371'); }
  135. "\\'u"            { output ('\372'); }
  136. "\\^u"            { output ('\373'); }
  137. "\\\"u"            { output ('\374'); }
  138. "\\'y"            { output ('\375'); }
  139.  
  140. "\\\"y"            { output ('\377'); }
  141.